Primary Decomposition of Modules over Dedekind Domains Using Gröbner Bases
نویسنده
چکیده
In [6] was proved that if R is a principal ideal domain and N ⊂ M are submodules of R[x1, . . . , xn], then the primary decomposition for N in M can be computed using Gröbner bases. In this paper we extend this result to Dedekind domains. The procedure that computed the primary decomposition is illustrated with an example.
منابع مشابه
Quasi-Primary Decomposition in Modules Over Proufer Domains
In this paper we investigate decompositions of submodules in modules over a Proufer domain into intersections of quasi-primary and classical quasi-primary submodules. In particular, existence and uniqueness of quasi-primary decompositions in modules over a Proufer domain of finite character are proved. Proufer domain; primary submodule; quasi-primary submodule; classical quasi-primary; decompo...
متن کاملComputing the Additive Structure of Indecomposable Modules over Dedekind-like Rings Using Gröbner Bases
We introduce a general constructive method to find a p-basis (and the Ulm invariants) of a finite Abelian p-group M . This algorithm is based on Gröbner bases theory. We apply this method to determine the additive structure of indecomposable modules over the following Dedeking-like rings: ZCp, where Cp is the cyclic group of order a prime p, and the p−pullback {Z→ Zp ← Z} of Z⊕ Z.
متن کاملϕ-ALMOST DEDEKIND RINGS AND $\Phi$-ALMOST DEDEKIND MODULES
The purpose of this paper is to introduce some new classes of rings and modules that are closely related to the classes of almost Dedekind domains and almost Dedekind modules. We introduce the concepts of $\phi$-almost Dedekind rings and $\Phi$-almost Dedekind modules and study some properties of this classes. In this paper we get some equivalent conditions for $\phi$-almost Dedekind rings and ...
متن کاملGröbner Basis and Indecomposable Modules over a like Dedekind Ring
Using Gröbner Basis, we introduce a general algorithm to determine the additive structure of a module, when we know about it using indirect information about its structure. We apply the algorithm to determine the additive structure of indecomposable modules over ZCp, where Cp is the cyclic group of order a prime number p, and the p−pullback {Z→ Zp ← Z} of Z⊕Z.
متن کاملON COMULTIPLICATION AND R-MULTIPLICATION MODULES
We state several conditions under which comultiplication and weak comultiplication modulesare cyclic and study strong comultiplication modules and comultiplication rings. In particular,we will show that every faithful weak comultiplication module having a maximal submoduleover a reduced ring with a finite indecomposable decomposition is cyclic. Also we show that if M is an strong comultiplicati...
متن کامل